uint64_t value;
uint32_t counter;
- value = mca_rdmsr(MSR_IA32_MC4_MISC);
+ value = mca_rdmsr(MSR_IA32_MCx_MISC(4));
/* Only the error counter field is of interest
* Bit field is described in AMD K8 BKDG chapter 6.4.5.5
*/
value &= ~(0x60FFF00000000ULL);
/* Counter enable */
value |= (1ULL << 51);
- mca_wrmsr(MSR_IA32_MC4_MISC, value);
+ mca_wrmsr(MSR_IA32_MCx_MISC(4), value);
wmb();
}
}
/* hw threshold registers present */
hw_threshold = 1;
- rdmsrl(MSR_IA32_MC4_MISC, value);
+ rdmsrl(MSR_IA32_MCx_MISC(4), value);
if (value & (1ULL << 61)) { /* Locked bit */
/* Locked by BIOS. Not available for use */
value &= ~(0x60FFF00000000ULL);
/* Counter enable */
value |= (1ULL << 51);
- wrmsrl(MSR_IA32_MC4_MISC, value);
+ wrmsrl(MSR_IA32_MCx_MISC(4), value);
/* serialize */
wmb();
printk(XENLOG_INFO "MCA: Use hw thresholding to adjust polling frequency\n");
* TBL walk error reporting, which trips off incorrectly
* with AGP GART & 3ware & Cerberus.
*/
- wrmsrl(MSR_IA32_MC4_CTL, ~(1ULL << 10));
- wrmsrl(MSR_IA32_MC4_STATUS, 0ULL);
+ wrmsrl(MSR_IA32_MCx_CTL(4), ~(1ULL << 10));
+ wrmsrl(MSR_IA32_MCx_STATUS(4), 0ULL);
break;
case MCEQUIRK_F10_GART:
if (rdmsr_safe(MSR_AMD64_MCx_MASK(4), val) == 0)
*msr_content = v->arch.hvm_svm.guest_sysenter_eip;
break;
- case MSR_IA32_MC4_MISC: /* Threshold register */
+ case MSR_IA32_MCx_MISC(4): /* Threshold register */
case MSR_F10_MC4_MISC1 ... MSR_F10_MC4_MISC3:
/*
* MCA/MCE: We report that the threshold register is unavailable
vpmu_do_wrmsr(msr, msr_content);
break;
- case MSR_IA32_MC4_MISC: /* Threshold register */
+ case MSR_IA32_MCx_MISC(4): /* Threshold register */
case MSR_F10_MC4_MISC1 ... MSR_F10_MC4_MISC3:
/*
* MCA/MCE: Threshold register is reported to be locked, so we ignore
#define MSR_AMD64_MC0_MASK 0xc0010044
-#define MSR_IA32_MC1_CTL 0x00000404
-#define MSR_IA32_MC1_CTL2 0x00000281
-#define MSR_IA32_MC1_STATUS 0x00000405
-#define MSR_IA32_MC1_ADDR 0x00000406
-#define MSR_IA32_MC1_MISC 0x00000407
-
-#define MSR_IA32_MC2_CTL 0x00000408
-#define MSR_IA32_MC2_CTL2 0x00000282
-#define MSR_IA32_MC2_STATUS 0x00000409
-#define MSR_IA32_MC2_ADDR 0x0000040A
-#define MSR_IA32_MC2_MISC 0x0000040B
-
-#define MSR_IA32_MC3_CTL2 0x00000283
-#define MSR_IA32_MC3_CTL 0x0000040C
-#define MSR_IA32_MC3_STATUS 0x0000040D
-#define MSR_IA32_MC3_ADDR 0x0000040E
-#define MSR_IA32_MC3_MISC 0x0000040F
-
-#define MSR_IA32_MC4_CTL2 0x00000284
-#define MSR_IA32_MC4_CTL 0x00000410
-#define MSR_IA32_MC4_STATUS 0x00000411
-#define MSR_IA32_MC4_ADDR 0x00000412
-#define MSR_IA32_MC4_MISC 0x00000413
-
-#define MSR_IA32_MC5_CTL2 0x00000285
-#define MSR_IA32_MC5_CTL 0x00000414
-#define MSR_IA32_MC5_STATUS 0x00000415
-#define MSR_IA32_MC5_ADDR 0x00000416
-#define MSR_IA32_MC5_MISC 0x00000417
-
-#define MSR_IA32_MC6_CTL2 0x00000286
-#define MSR_IA32_MC6_CTL 0x00000418
-#define MSR_IA32_MC6_STATUS 0x00000419
-#define MSR_IA32_MC6_ADDR 0x0000041A
-#define MSR_IA32_MC6_MISC 0x0000041B
-
-#define MSR_IA32_MC7_CTL2 0x00000287
-#define MSR_IA32_MC7_CTL 0x0000041C
-#define MSR_IA32_MC7_STATUS 0x0000041D
-#define MSR_IA32_MC7_ADDR 0x0000041E
-#define MSR_IA32_MC7_MISC 0x0000041F
-
-#define MSR_IA32_MC8_CTL2 0x00000288
-#define MSR_IA32_MC8_CTL 0x00000420
-#define MSR_IA32_MC8_STATUS 0x00000421
-#define MSR_IA32_MC8_ADDR 0x00000422
-#define MSR_IA32_MC8_MISC 0x00000423
-
#define MSR_IA32_MCx_CTL(x) (MSR_IA32_MC0_CTL + 4*(x))
#define MSR_IA32_MCx_STATUS(x) (MSR_IA32_MC0_STATUS + 4*(x))
#define MSR_IA32_MCx_ADDR(x) (MSR_IA32_MC0_ADDR + 4*(x))
#define MSR_IA32_MCx_MISC(x) (MSR_IA32_MC0_MISC + 4*(x))
+#define MSR_IA32_MCx_CTL2(x) (MSR_IA32_MC0_CTL2 + (x))
#define MSR_AMD64_MCx_MASK(x) (MSR_AMD64_MC0_MASK + (x))